<html>
<body>
Checks that every function has unique name.
</body>
</html>